Clifford algebra

In mathematics, Clifford algebras are a type of associative algebra. As K-algebras, they generalize the real numbers, complex numbers, quaternions and several other hypercomplex number systems.^[1][2] The theory of Clifford algebras is intimately connected with the theory of quadratic forms and orthogonal transformations. Clifford algebras have important applications in a variety of fields including geometry and theoretical physics. They are named after the English geometer William Kingdon Clifford.

Contents 1 Introduction and basic properties 1.1 As a quantization of the exterior algebra 2 Universal property and construction 3 Basis and dimension 4 Examples: real and complex Clifford algebras 4.1 Real numbers 4.2 Complex numbers 5 Examples: constructing quaternions and dual quaternions 5.1 Quaternions 5.2 Dual quaternions 6 Properties 6.1 Relation to the exterior algebra 6.2 Grading 6.3 Antiautomorphisms 6.4 The Clifford scalar product 7 Structure of Clifford algebras 8 The Clifford group Γ 8.1 Spinor norm 9 Spin and Pin groups 10 Spinors 10.1 Real spinors 11 Applications 11.1 Differential geometry 11.2 Physics 11.3 Computer Vision 12 See also 13 Notes 14 References 15 External links

Introduction and basic properties

Specifically, a Clifford algebra is a unital associative algebra which contains and is generated by a vector space V equipped with a quadratic form Q. The Clifford algebra Cℓ(V,Q) is the "freest" algebra generated by V subject to the condition^[3]

The definition of a Clifford algebra endows it with more structure than a "bare" K-algebra, specifically it has a designated or privileged subspace that is isomorphic to V. Such a subspace cannot in general be uniquely determined given only a K-algebra isomorphic to the Clifford algebra.

If the characteristic of the ground field K is not 2, then one can rewrite this fundamental identity in the form

where ⟨u, v⟩ = (Q(u + v) − Q(u) − Q(v))/2 is the symmetric bilinear form associated with Q, via the polarization identity. The idea of being the "freest" or "most general" algebra subject to this identity can be formally expressed through the notion of a universal property, as done below.

Quadratic forms and Clifford algebras in characteristic 2 form an exceptional case. In particular, if char(K) = 2 it is not true that a quadratic form determines a symmetric bilinear form, or that every quadratic form admits an orthogonal basis. Many of the statements in this article include the condition that the characteristic is not 2, and are false if this condition is removed.

As a quantization of the exterior algebra

Clifford algebras are closely related to exterior algebras. In fact, if Q = 0 then the Clifford algebra Cℓ(V,Q) is just the exterior algebra Λ(V). For nonzero Q there exists a canonical linear isomorphism between Λ(V) and Cℓ(V,Q) whenever the ground field K does not have characteristic two. That is, they are naturally isomorphic as vector spaces, but with different multiplications (in the case of characteristic two, they are still isomorphic as vector spaces, just not naturally). Clifford multiplication together with the privileged subspace is strictly richer than the exterior product since it makes use of the extra information provided by Q.

More precisely, Clifford algebras may be thought of as quantizations (cf. quantization (physics), Quantum group) of the exterior algebra, in the same way that the Weyl algebra is a quantization of the symmetric algebra.

Weyl algebras and Clifford algebras admit a further structure of a *-algebra, and can be unified as even and odd terms of a superalgebra, as discussed in CCR and CAR algebras.

Universal property and construction

Let V be a vector space over a field K, and let Q : V → K be a quadratic form on V. In most cases of interest the field K is either R, C or a finite field.

A Clifford algebra Cℓ(V,Q) is a unital associative algebra over K together with a linear map i : V → Cℓ(V,Q) satisfying i(v)² = Q(v)1 for all v ∈ V, defined by the following universal property: Given any associative algebra A over K and any linear map j : V → A such that

j(v)² = Q(v)1_A for all v ∈ V

(where 1_A denotes the multiplicative identity of A), there is a unique algebra homomorphism f : Cℓ(V,Q) → A such that the following diagram commutes (i.e. such that f ∘ i = j):

Working with a symmetric bilinear form ⟨·,·⟩ instead of Q (in characteristic not 2), the requirement on j is

j(v)j(w) + j(w)j(v) = 2⟨v, w⟩ for all v, w ∈ V.

A Clifford algebra as described above always exists and can be constructed as follows: start with the most general algebra that contains V, namely the tensor algebra T(V), and then enforce the fundamental identity by taking a suitable quotient. In our case we want to take the two-sided ideal I_Q in T(V) generated by all elements of the form

for all

and define Cℓ(V,Q) as the quotient algebra

Cℓ(V,Q) = T(V)/I_Q.

The ring product inherited by this quotient is sometimes referred to as the Clifford product^[4] to differentiate it from the inner and outer products.

It is then straightforward to show that Cℓ(V,Q) contains V and satisfies the above universal property, so that Cℓ is unique up to a unique isomorphism; thus one speaks of "the" Clifford algebra Cℓ(V,Q). It also follows from this construction that i is injective. One usually drops the i and considers V as a linear subspace of Cℓ(V,Q).

The universal characterization of the Clifford algebra shows that the construction of Cℓ(V,Q) is functorial in nature. Namely, Cℓ can be considered as a functor from the category of vector spaces with quadratic forms (whose morphisms are linear maps preserving the quadratic form) to the category of associative algebras. The universal property guarantees that linear maps between vector spaces (preserving the quadratic form) extend uniquely to algebra homomorphisms between the associated Clifford algebras.

Basis and dimension

If the dimension of V is n and {e₁,…,e_n} is a basis of V, then the set

is a basis for Cℓ(V,Q). The empty product (k = 0) is defined as the multiplicative identity element. For each value of k there are n choose k basis elements, so the total dimension of the Clifford algebra is

Since V comes equipped with a quadratic form, there is a set of privileged bases for V: the orthogonal ones. An orthogonal basis is one such that

where ⟨·,·⟩ is the symmetric bilinear form associated to Q. The fundamental Clifford identity implies that for an orthogonal basis

This makes manipulation of orthogonal basis vectors quite simple. Given a product of distinct orthogonal basis vectors of V, one can put them into standard order while including an overall sign determined by the number of pairwise swaps needed to do so (i.e. the signature of the ordering permutation).

Examples: real and complex Clifford algebras

The most important Clifford algebras are those over real and complex vector spaces equipped with nondegenerate quadratic forms.

It turns out that every one of the algebras Cℓ_p,q(R) and Cℓ_n(C) are isomorphic to A or A⊕A, where A is a full matrix ring with entries from R, C, or H. For a complete classification of these algebras see classification of Clifford algebras.

Real numbers

The geometric interpretation of real Clifford algebras is known as geometric algebra.

Every nondegenerate quadratic form on a finite-dimensional real vector space is equivalent to the standard diagonal form:

where n = p + q is the dimension of the vector space. The pair of integers (p, q) is called the signature of the quadratic form. The real vector space with this quadratic form is often denoted R^p,q. The Clifford algebra on R^p,q is denoted Cℓ_p,q(R). The symbol Cℓ_n(R) means either Cℓ_n,0(R) or Cℓ_0,n(R) depending on whether the author prefers positive definite or negative definite spaces.

A standard orthonormal basis {e_i} for R^p,q consists of n = p + q mutually orthogonal vectors, p of which have norm +1 and q of which have norm −1. The algebra Cℓ_p,q(R) will therefore have p vectors that square to +1 and q vectors that square to −1.

Note that Cℓ_0,0(R) is naturally isomorphic to R since there are no nonzero vectors. Cℓ_0,1(R) is a two-dimensional algebra generated by a single vector e₁ that squares to −1, and therefore is isomorphic to C, the field of complex numbers. The algebra Cℓ_0,2(R) is a four-dimensional algebra spanned by {1, e₁, e₂, e₁e₂}. The latter three elements square to −1 and all anticommute, and so the algebra is isomorphic to the quaternions H. The next algebra in the sequence is Cℓ_0,3(R), and is an 8-dimensional algebra isomorphic to the direct sum H ⊕ H called split-biquaternions.

Complex numbers

One can also study Clifford algebras on complex vector spaces. Every nondegenerate quadratic form on a complex vector space is equivalent to the standard diagonal form

where n = dim V, so there is essentially only one nondegenerate Clifford algebra for each dimension n. We will denote the Clifford algebra on Cⁿ with the standard quadratic form by Cℓ_n(C).

The first few cases are not hard to compute. One finds that

Cℓ₀(C) ≅ C, the complex numbers

Cℓ₁(C) ≅ C ⊕ C, called bicomplex numbers

Cℓ₂(C) ≅ M₂(C)

where M_n(C) denotes the algebra of n×n matrices over C.

Examples: constructing quaternions and dual quaternions

Quaternions

In this section, Hamilton's quaternions are constructed as the even sub algebra of the Clifford algebra Cℓ_0,3(R).

Let the vector space V be real three dimensional space R³, and the quadratic form Q be derived from the usual Euclidean metric. Then, for v, w in R³ we have the quadratic form, or dot product,

Now introduce the Clifford product of vectors v and w given by

This formulation uses the negative sign so the correspondence with quaternions is easily shown.

Denote a set of orthogonal unit vectors of R³ as e₁, e₂, and e₃, then the Clifford product yields the relations

and

The general element of the Clifford algebra Cℓ_0,3(R) is given by

The linear combination of the even rank elements of Cℓ_0,3(R) defines the even sub algebra Cℓ⁰_0,3(R) with the general element

The basis elements can be identified with the quaternion basis elements i, j, k as

which shows that the even sub algebra Cℓ⁰_0,3(R) is Hamilton's real quaternion algebra.

To see this, compute

and

Finally,

Dual quaternions

In this section, dual quaternions are constructed as the even Clifford algebra of real four dimensional space with a degenerate quadratic form.^[5][6]

Let the vector space V be real four dimensional space R⁴, and let the quadratic form Q be a degenerate form derived from the Euclidean metric on R³. For v, w in R⁴ introduce the degenerate bilinear form

This degenerate scalar product projects distance measurements in R⁴ onto the R³ hyperplane.

The Clifford product of vectors v and w is given by

Note the negative sign is introduced to simplify the correspondence with quaternions.

Denote a set of orthogonal unit vectors of R⁴ as e₁, e₂, e₃ and e₄, then the Clifford product yields the relations

and

The general element of the Clifford algebra Cℓ(R⁴,d) has 16 components. The linear combination of the even ranked elements defines the even sub algebra Cℓ⁰(R⁴,d) with the general element

The basis elements can be identified with the quaternion basis elements i, j, k and the dual unit ε as

This provides the correspondence of Cℓ⁰_0,3,1(R) with dual quaternion algebra.

To see this, compute

and

The exchanges of e₁ and e₄ alternate signs an even number of times, and show the dual unit ε commutes with the quaternion basis elements i, j, and k.

Properties

Relation to the exterior algebra

Given a vector space V one can construct the exterior algebra Λ(V), whose definition is independent of any quadratic form on V. It turns out that if K does not have characteristic 2 then there is a natural isomorphism between Λ(V) and Cℓ(V,Q) considered as vector spaces (and there exists an isomorphism in characteristic two, which may not be natural). This is an algebra isomorphism if and only if Q = 0. One can thus consider the Clifford algebra Cℓ(V,Q) as an enrichment (or more precisely, a quantization, cf. the Introduction) of the exterior algebra on V with a multiplication that depends on Q (one can still define the exterior product independent of Q).

The easiest way to establish the isomorphism is to choose an orthogonal basis {e_i} for V and extend it to a basis for Cℓ(V,Q) as described above. The map Cℓ(V,Q) → Λ(V) is determined by

Note that this only works if the basis {e_i} is orthogonal. One can show that this map is independent of the choice of orthogonal basis and so gives a natural isomorphism.

If the characteristic of K is 0, one can also establish the isomorphism by antisymmetrizing. Define functions f_k : V × … × V → Cℓ(V,Q) by

where the sum is taken over the symmetric group on k elements. Since f_k is alternating it induces a unique linear map Λ^k(V) → Cℓ(V,Q). The direct sum of these maps gives a linear map between Λ(V) and Cℓ(V,Q). This map can be shown to be a linear isomorphism, and it is natural.

A more sophisticated way to view the relationship is to construct a filtration on Cℓ(V,Q). Recall that the tensor algebra T(V) has a natural filtration: F⁰ ⊂ F¹ ⊂ F² ⊂ … where F^k contains sums of tensors with rank ≤ k. Projecting this down to the Clifford algebra gives a filtration on Cℓ(V,Q). The associated graded algebra

is naturally isomorphic to the exterior algebra Λ(V). Since the associated graded algebra of a filtered algebra is always isomorphic to the filtered algebra as filtered vector spaces (by choosing complements of F^k in F^k+1 for all k), this provides an isomorphism (although not a natural one) in any characteristic, even two.

Grading

In the following, assume that the characteristic is not 2.^[7]

Clifford algebras are Z₂-graded algebras (also known as superalgebras). Indeed, the linear map on V defined by (reflection through the origin) preserves the quadratic form Q and so by the universal property of Clifford algebras extends to an algebra automorphism

α : Cℓ(V,Q) → Cℓ(V,Q).

Since α is an involution (i.e. it squares to the identity) one can decompose Cℓ(V,Q) into positive and negative eigenspaces of α

where Cℓⁱ(V,Q) = {x ∈ Cℓ(V,Q) | α(x) = (−1)ⁱx}. Since α is an automorphism it follows that

where the superscripts are read modulo 2. This gives Cℓ(V,Q) the structure of a Z₂-graded algebra. The subspace Cℓ⁰(V,Q) forms a subalgebra of Cℓ(V,Q), called the even subalgebra. The subspace Cℓ¹(V,Q) is called the odd part of Cℓ(V,Q) (it is not a subalgebra). This Z₂-grading plays an important role in the analysis and application of Clifford algebras. The automorphism α is called the main involution or grade involution. Elements that are pure in this Z₂-grading are simply said to be even or odd.

Remark. In characteristic not 2 the underlying vector space of Cℓ(V,Q) inherits an N-grading and a Z-grading from the canonical isomorphism with the underlying vector space of the exterior algebra Λ(V).^[8] It is important to note, however, that this is a vector space grading only. That is, Clifford multiplication does not respect the N-grading or Z-grading, only the Z₂-grading: for instance if Q(v) ≠ 0, then v ∈ Cℓ¹(V,Q), but v² ∈ Cℓ⁰(V,Q), not in Cℓ²(V,Q). Happily, the gradings are related in the natural way: Z₂ ≅N/2N≅ Z/2Z. Further, the Clifford algebra is Z-filtered: Cℓ^≤i(V,Q) ⋅ Cℓ^≤j}(V,Q) ⊂ Cℓ^≤i+j(V,Q). The degree of a Clifford number usually refers to the degree in the N-grading.

The even subalgebra Cℓ⁰(V,Q) of a Clifford algebra is itself isomorphic to a Clifford algebra.^[9][10] If V is the orthogonal direct sum of a vector a of norm Q(a) and a subspace U, then Cℓ⁰(V,Q) is isomorphic to Cℓ(U,−Q(a)Q), where −Q(a)Q is the form Q restricted to U and multiplied by −Q(a). In particular over the reals this implies that

for q > 0, and

for p > 0.

In the negative-definite case this gives an inclusion Cℓ_0,n−1(R) ⊂ Cℓ_0,n(R) which extends the sequence

R ⊂ C ⊂ H ⊂ H⊕H ⊂ …

Likewise, in the complex case, one can show that the even subalgebra of Cℓ_n(C) is isomorphic to Cℓ_n−1(C).

Antiautomorphisms

In addition to the automorphism α, there are two antiautomorphisms which play an important role in the analysis of Clifford algebras. Recall that the tensor algebra T(V) comes with an antiautomorphism that reverses the order in all products:

Since the ideal I_Q is invariant under this reversal, this operation descends to an antiautomorphism of Cℓ(V,Q) called the transpose or reversal operation, denoted by x^t. The transpose is an antiautomorphism: . The transpose operation makes no use of the Z₂-grading so we define a second antiautomorphism by composing α and the transpose. We call this operation Clifford conjugation denoted

Of the two antiautomorphisms, the transpose is the more fundamental.^[11]

Note that all of these operations are involutions. One can show that they act as ±1 on elements which are pure in the Z-grading. In fact, all three operations depend only on the degree modulo 4. That is, if x is pure with degree k then

where the signs are given by the following table:

k mod 4	0	1	2	3
	+	−	+	−	(−1)k
	+	+	−	−	(−1)k(k−1)/2
	+	−	−	+	(−1)k(k+1)/2

The Clifford scalar product

When the characteristic is not 2, the quadratic form Q on V can be extended to a quadratic form on all of Cℓ(V,Q) (which we also denoted by Q). A basis independent definition of one such extension is

where ⟨a⟩ denotes the scalar part of a (the grade 0 part in the Z-grading). One can show that

where the v_i are elements of V – this identity is not true for arbitrary elements of Cℓ(V,Q).

The associated symmetric bilinear form on Cℓ(V,Q) is given by

One can check that this reduces to the original bilinear form when restricted to V. The bilinear form on all of Cℓ(V,Q) is nondegenerate if and only if it is nondegenerate on V.

It is not hard to verify that the transpose is the adjoint of left/right Clifford multiplication with respect to this inner product. That is,

and

Structure of Clifford algebras

In this section we assume that the vector space V is finite dimensional and that the bilinear form of Q is non-singular. A central simple algebra over K is a matrix algebra over a (finite dimensional) division algebra with center K. For example, the central simple algebras over the reals are matrix algebras over either the reals or the quaternions.

• If V has even dimension then Cℓ(V,Q) is a central simple algebra over K.
• If V has even dimension then Cℓ⁰(V,Q) is a central simple algebra over a quadratic extension of K or a sum of two isomorphic central simple algebras over K.
• If V has odd dimension then Cℓ(V,Q) is a central simple algebra over a quadratic extension of K or a sum of two isomorphic central simple algebras over K.
• If V has odd dimension then Cℓ⁰(V,Q) is a central simple algebra over K.

The structure of Clifford algebras can be worked out explicitly using the following result. Suppose that U has even dimension and a non-singular bilinear form with discriminant d, and suppose that V is another vector space with a quadratic form. The Clifford algebra of U+V is isomorphic to the tensor product of the Clifford algebras of U and (−1)^dim(U)/2dV, which is the space V with its quadratic form multiplied by (−1)^dim(U)/2d. Over the reals, this implies in particular that

These formulas can be used to find the structure of all real Clifford algebras and all complex Clifford algebras; see the classification of Clifford algebras.

Notably, the Morita equivalence class of a Clifford algebra (its representation theory: the equivalence class of the category of modules over it) depends only on the signature (p − q) mod 8. This is an algebraic form of Bott periodicity.

The Clifford group Γ

In this section we assume that V is finite dimensional and the quadratic form Q is nondegenerate.

The invertible elements of the Clifford algebra act on it by twisted conjugation: conjugation by x maps .

The Clifford group Γ is defined to be the set of invertible elements x that stabilize vectors, meaning that

for all v in V.

This formula also defines an action of the Clifford group on the vector space V that preserves the norm Q, and so gives a homomorphism from the Clifford group to the orthogonal group. The Clifford group contains all elements r of V of nonzero norm, and these act on V by the corresponding reflections that take v to v − 2⟨v,r⟩r/Q(r) (In characteristic 2 these are called orthogonal transvections rather than reflections.)

The Clifford group Γ is the disjoint union of two subsets Γ⁰ and Γ¹, where Γⁱ is the subset of elements of degree i. The subset Γ⁰ is a subgroup of index 2 in Γ.

If V is a finite dimensional real vector space with positive definite (or negative definite) quadratic form then the Clifford group maps onto the orthogonal group of V with respect to the form (by the Cartan-Dieudonné theorem) and the kernel consists of the nonzero elements of the field K. This leads to exact sequences

Over other fields or with indefinite forms, the map is not in general onto, and the failure is captured by the spinor norm.

Spinor norm

In arbitrary characteristic, the spinor norm Q is defined on the Clifford group by

It is a homomorphism from the Clifford group to the group K^* of non-zero elements of K. It coincides with the quadratic form Q of V when V is identified with a subspace of the Clifford algebra. Several authors define the spinor norm slightly differently, so that it differs from the one here by a factor of −1, 2, or −2 on Γ¹. The difference is not very important in characteristic other than 2.

The nonzero elements of K have spinor norm in the group K^*2 of squares of nonzero elements of the field K. So when V is finite dimensional and non-singular we get an induced map from the orthogonal group of V to the group K^*/K^*2, also called the spinor norm. The spinor norm of the reflection of a vector r has image Q(r) in K^*/K^*2, and this property uniquely defines it on the orthogonal group. This gives exact sequences:

Note that in characteristic 2 the group {±1} has just one element.

From the point of view of Galois cohomology of algebraic groups, the spinor norm is a connecting homomorphism on cohomology. Writing μ₂ for the algebraic group of square roots of 1 (over a field of characteristic not 2 it is roughly the same as a two-element group with trivial Galois action), the short exact sequence

yields a long exact sequence on cohomology, which begins

The 0th Galois cohomology group of an algebraic group with coefficients in K is just the group of K-valued points: , and , which recovers the previous sequence

where the spinor norm is the connecting homomorphism

Spin and Pin groups

In this section we assume that V is finite dimensional and its bilinear form is non-singular. (If K has characteristic 2 this implies that the dimension of V is even.)

The Pin group Pin_V(K) is the subgroup of the Clifford group Γ of elements of spinor norm 1, and similarly the Spin group Spin_V(K) is the subgroup of elements of Dickson invariant 0 in Pin_V(K). When the characteristic is not 2, these are the elements of determinant 1. The Spin group usually has index 2 in the Pin group.

Recall from the previous section that there is a homomorphism from the Clifford group onto the orthogonal group. We define the special orthogonal group to be the image of Γ⁰. If K does not have characteristic 2 this is just the group of elements of the orthogonal group of determinant 1. If K does have characteristic 2, then all elements of the orthogonal group have determinant 1, and the special orthogonal group is the set of elements of Dickson invariant 0.

There is a homomorphism from the Pin group to the orthogonal group. The image consists of the elements of spinor norm 1 ∈ K^*/K^*2. The kernel consists of the elements +1 and −1, and has order 2 unless K has characteristic 2. Similarly there is a homomorphism from the Spin group to the special orthogonal group of V.

In the common case when V is a positive or negative definite space over the reals, the spin group maps onto the special orthogonal group, and is simply connected when V has dimension at least 3. Further the kernel of this homomorphism consists of 1 and −1. So in this case the spin group, Spin(n), is a double cover of SO(n). Please note, however, that the simple connectedness of the spin group is not true in general: if V is R^p,q for p and q both at least 2 then the spin group is not simply connected. In this case the algebraic group Spin_p,q is simply connected as an algebraic group, even though its group of real valued points Spin_p,q(R) is not simply connected. This is a rather subtle point, which completely confused the authors of at least one standard book about spin groups.

Spinors

Clifford algebras Cℓ_p,q(C), with p+q=2n even, are matrix algebras which have a complex representation of dimension 2ⁿ. By restricting to the group Pin_p,q(R) we get a complex representation of the Pin group of the same dimension, called the spin representation. If we restrict this to the spin group Spin_p,q(R) then it splits as the sum of two half spin representations (or Weyl representations) of dimension 2ⁿ⁻¹.

If p+q=2n+1 is odd then the Clifford algebra Cℓ_p,q(C) is a sum of two matrix algebras, each of which has a representation of dimension 2ⁿ, and these are also both representations of the Pin group Pin_p,q(R). On restriction to the spin group Spin_p,q(R) these become isomorphic, so the spin group has a complex spinor representation of dimension 2ⁿ.

More generally, spinor groups and pin groups over any field have similar representations whose exact structure depends on the structure of the corresponding Clifford algebras: whenever a Clifford algebra has a factor that is a matrix algebra over some division algebra, we get a corresponding representation of the pin and spin groups over that division algebra. For examples over the reals see the article on spinors.

Real spinors

To describe the real spin representations, one must know how the spin group sits inside its Clifford algebra. The Pin group, Pin_p,q is the set of invertible elements in Cℓ_p,q which can be written as a product of unit vectors:

Comparing with the above concrete realizations of the Clifford algebras, the Pin group corresponds to the products of arbitrarily many reflections: it is a cover of the full orthogonal group O(p,q). The Spin group consists of those elements of Pin_p,q which are products of an even number of unit vectors. Thus by the Cartan-Dieudonné theorem Spin is a cover of the group of proper rotations SO(p,q).

Let α : Cℓ → Cℓ be the automorphism which is given by the mapping v → −v acting on pure vectors. Then in particular, Spin_p,q is the subgroup of Pin_p,q whose elements are fixed by α. Let

(These are precisely the elements of even degree in Cℓ_p,q.) Then the spin group lies within Cℓ⁰_p,q.

The irreducible representations of Cℓ_p,q restrict to give representations of the pin group. Conversely, since the pin group is generated by unit vectors, all of its irreducible representation are induced in this manner. Thus the two representations coincide. For the same reasons, the irreducible representations of the spin coincide with the irreducible representations of Cℓ⁰_p,q

To classify the pin representations, one need only appeal to the classification of Clifford algebras. To find the spin representations (which are representations of the even subalgebra), one can first make use of either of the isomorphisms (see above)

Cℓ⁰_p,q ≈ Cℓ_p,q−1, for q > 0

Cℓ⁰_p,q ≈ Cℓ_q,p−1, for p > 0

and realize a spin representation in signature (p,q) as a pin representation in either signature (p,q−1) or (q,p−1).

Applications

Differential geometry

One of the principal applications of the exterior algebra is in differential geometry where it is used to define the bundle of differential forms on a smooth manifold. In the case of a (pseudo-)Riemannian manifold, the tangent spaces come equipped with a natural quadratic form induced by the metric. Thus, one can define a Clifford bundle in analogy with the exterior bundle. This has a number of important applications in Riemannian geometry. Perhaps more importantly is the link to a spin manifold, its associated spinor bundle and spin^c manifolds.

Physics

Clifford algebras have numerous important applications in physics. Physicists usually consider a Clifford algebra to be an algebra spanned by matrices γ₀,…,γ₃ called Dirac matrices which have the property that

where η is the matrix of a quadratic form of signature (1,3). These are exactly the defining relations for the Clifford algebra Cℓ_1,3(C) (up to an unimportant factor of 2), which by the classification of Clifford algebras is isomorphic to the algebra of 4 by 4 complex matrices.

The Dirac matrices were first written down by Paul Dirac when he was trying to write a relativistic first-order wave equation for the electron, and give an explicit isomorphism from the Clifford algebra to the algebra of complex matrices. The result was used to define the Dirac equation and introduce the Dirac operator. The entire Clifford algebra shows up in quantum field theory in the form of Dirac field bilinears.

Computer Vision

Recently, Clifford algebras have been applied in the problem of action recognition and classification in computer vision. Rodriguez et al.^[12] propose a Clifford embedding to generalize traditional MACH filters to video (3D spatiotemporal volume), and vector-valued data such as optical flow. Vector-valued data is analyzed using the Clifford Fourier transform. Based on these vectors action filters are synthesized in the Clifford Fourier domain and recognition of actions is performed using Clifford Correlation. The authors demonstrate the effectiveness of the Clifford embedding by recognizing actions typically performed in classic feature films and sports broadcast television.

See also

Notes

1. ^ W. K. Clifford, "Preliminary sketch of bi-quaternions, Proc. London Math. Soc. Vol. 4 (1873) pp. 381-395
2. ^ W. K. Clifford, Mathematical Papers, (ed. R. Tucker), London: Macmillan, 1882.
3. ^ Mathematicians who work with real Clifford algebras and prefer positive definite quadratic forms (especially those working in index theory) sometimes use a different choice of sign in the fundamental Clifford identity. That is, they take v² = −Q(v). One must replace Q with −Q in going from one convention to the other.
4. ^ Lounesto 2001, §1.8.
5. ^ J. M. McCarthy, An Introduction to Theoretical Kinematics, pp. 62–5, MIT Press 1990.
6. ^ O. Bottema and B. Roth, Theoretical Kinematics, North Holland Publ. Co., 1979
7. ^ Thus the group algebra K[Z/2] is semisimple and the Clifford algebra splits into eigenspaces of the main involution.
8. ^ The Z-grading is obtained from the N grading by appending copies of the zero subspace indexed with the negative integers.
9. ^ Technically, it does not have the full structure of a Clifford algebra without a designated vector subspace.
10. ^ We are still assuming that the characteristic is not 2.
11. ^ The opposite is true when using the alternate (−) sign convention for Clifford algebras: it is the conjugate which is more important. In general, the meanings of conjugation and transpose are interchanged when passing from one sign convention to the other. For example, in the convention used here the inverse of a vector is given by v⁻¹ = v^t / Q(v) while in the (−) convention it is given by v⁻¹ = v / Q(v).
12. ^ Rodriguez, Mikel; Shah, M (2008). "Action MACH: A Spatio-Temporal Maximum Average Correlation Height Filter for Action Classification". Computer Vision and Pattern Recognition (CVPR). 

References

• Bourbaki, Nicolas (1988), Algebra, Berlin, New York: Springer-Verlag, ISBN 978-3-540-19373-9 , section XI.9.
• Carnahan, S. Borcherds Seminar Notes, Uncut. Week 5, "Spinors and Clifford Algebras".
• Lawson, H. Blaine; Michelsohn, Marie-Louise (1989), Spin Geometry, Princeton, NJ: Princeton University Press, ISBN 978-0-691-08542-5 . An advanced textbook on Clifford algebras and their applications to differential geometry.
• Lounesto, Pertti (2001), Clifford algebras and spinors, Cambridge: Cambridge University Press, ISBN 978-0-521-00551-7 
• Porteous, Ian R. (1995), Clifford algebras and the classical groups, Cambridge: Cambridge University Press, ISBN 978-0-521-55177-9 
• R. Jagannathan, On generalized Clifford algebras and their physical applications.

External links

• Planetmath entry on Clifford algebras
• A history of Clifford algebras (unverified)
• John Baez on Clifford algebras